Boolean Algebra Multiply Out To Sop